Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
161	Contrasting Exceptions and Continuations Hayo Thielecke School of Computer Science University of Birmingham Birmingham B15 2TT Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-10-19 09:34:25 Functional languages Procedural programming languages Control flow Lisp programming language Subroutines Continuation Operational semantics Exception handling Standard ML Software engineering Computing Computer programming
162	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
163	A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand Northeastern University Abstract. Orc [9] is a language for task orchestration. It has a small Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-10-25 16:53:58 Abstract algebra Programming language semantics Lambda calculus Denotational semantics Continuous function Valuation Combinatory logic Theoretical computer science Logic in computer science Mathematics
164	Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:57:16 Functional languages Procedural programming languages Meaning Philosophical logic Type theory ML Programming language Semantics Soundness Logic Programming language theory Software engineering
165	The Spirit of Ghost Code Jean-Christophe Filliˆ atre1,2 , L´eon Gondelman1? , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ. Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:51:46 Character encoding Digital typography Symbol Mathematics Orbifold Proof theory Programming language semantics Logic in computer science
166	The SSA Representation Framework: Semantics, Analyses and GCC Implementation The SSA Representation Framework: Semantics, Analyses and GCC Implementation Sebastian Pop ´ Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-12-13 17:37:56 Computing Static single assignment form GNU Compiler Collection Compiler Programming language Software Programming language implementation Compiler construction
167	Erbium: A Deterministic, Concurrent Intermediate Representation for Portable and Scalable Performance Cupertino Miranda1 , Philippe Dumont1,2 , Albert Cohen1 , Marc Duranton2 and Antoniu Pop3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-01-25 11:25:30 Programming language implementation Models of computation Compiler construction Cross-platform software Procedural programming languages Kahn process networks Compiler Ada Denotational semantics Computing Software engineering Software
168	In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-03 03:55:11 Logic in computer science Programming language semantics Models of computation Formal methods Procedural programming languages Static single assignment form Denotational semantics Continuation-passing style Statement Software engineering Computing Theoretical computer science
169	An Operational Foundation for Delimited Continuations Małgorzata Biernacka, Dariusz Biernacki, and Olivier Danvy BRICS ∗ Department of Computer Science University of Aarhus † Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:19 Computer programming Continuations Programming language semantics Delimited continuation C2 Update Operational semantics Defunctionalization APT Software engineering Computing Control flow
170	Coll`ege doctoral o ´ ED n 431 : Information, communication, mod´elisation et simulation No attribu´e par la biblioth`eque: \| \| \| \| \| \| \| \| \| \| \| Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2007-02-07 05:39:41 Logic in computer science Programming language semantics Static single assignment form Programming language implementation Compilers GNU Compiler Collection Compiler Intermediate language Programming language Software Computing Compiler construction

UPDATE